Malacaria, C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Decision Support Approaches for Cyber Security Investment

Fielder, Andrew, Panaousis, Emmanouil, Malacaria, Pasquale, Hankin, Chris, Smeraldi, Fabrizio

Journal:

Decision Support Systems

Year:

2016

Language:

english

File:

PDF, 519 KB

english, 2016

2

Large High-precision X-Ray Timing of Three Millisecond Pulsars with NICER : Stability Estimates and Comparison with Radio

Deneva, J. S., Ray, P. S., Lommen, A., Ransom, S. M., Bogdanov, S., Kerr, M., Wood, K. S., Arzoumanian, Z., Black, K., Doty, J., Gendreau, K. C., Guillot, S., Harding, A., Lewandowska, N., Malacaria,

Journal:

The Astrophysical Journal

Year:

2019

File:

PDF, 3.21 MB

2019

3

[IEEE 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Stockholm, Sweden (2019.6.17-2019.6.19)] 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Malware Detection Using 1-Dimensional Convolutional Neural Networks

Sharma, Arindam, Malacaria, Pasquale, Khouzani, MHR

Year:

2019

Language:

english

File:

PDF, 249 KB

english, 2019

4

Symbolic quantitative information flow

Phan, Quoc-Sang, Malacaria, Pasquale, Tkachuk, Oksana, Păsăreanu, Corina S.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 763 KB

english, 2012

5

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Some results on the interpretation of lambda -calculus in operator algebras

Malacaria, P., Regnier, L.

Year:

1991

Language:

english

File:

PDF, 852 KB

english, 1991

6

ATM pathway activation limits R-loop-associated genomic instability in Werner syndrome cells

Marabitti, Veronica, Lillo, Giorgia, Malacaria, Eva, Palermo, Valentina, Sanchez, Massimo, Pichierri, Pietro, Franchitto, Annapaola

Journal:

Nucleic Acids Research

Year:

2019

Language:

english

File:

PDF, 11.07 MB

english, 2019

7

Timing of the accreting millisecond pulsar IGR J17591â2342: evidence of spin-down during accretion

Sanna, A, Burderi, L, Gendreau, K C, DiÂ Salvo, T, Ray, P S, Riggio, A, Gambino, A F, Iaria, R, Piga, L, Malacaria, C, Jaisawal, G K

Journal:

Monthly Notices of the Royal Astronomical Society

Year:

2020

File:

PDF, 952 KB

2020

8

In-depth study of long-term variability in the X-ray emission of the Be/X-ray binary system AX J0049.4−7323

Ducci, L., Romano, P., Malacaria, C., Ji, L., Bozzo, E., Santangelo, A.

Journal:

Astronomy and Astrophysics

Year:

2018

Language:

english

File:

PDF, 442 KB

english, 2018

9

Concurrent Bounded Model Checking

Phan, Quoc-Sang, Malacaria, Pasquale, Pǎsǎreanu, Corina S.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2015

Language:

english

File:

PDF, 759 KB

english, 2015

10

[IEEE Comput. Soc Proceedings. 14th Symposium on Logic in Computer Science - Trento, Italy (2-5 July 1999)] Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) - Non-deterministic games and program analysis: An application to security

Malacaria, P., Hankin, C.

Year:

1999

Language:

english

File:

PDF, 204 KB

english, 1999

11

[IEEE 2012 IEEE 25th Computer Security Foundations Symposium (CSF) - Cambridge, MA, USA (2012.06.25-2012.06.27)] 2012 IEEE 25th Computer Security Foundations Symposium - The Thermodynamics of Confidentiality

Malacaria, Pasquale, Smeraldi, Fabrizio

Year:

2012

Language:

english

File:

PDF, 401 KB

english, 2012

12

Full Abstraction for PCF

Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 509 KB

english, 2000

13

[ACM Press the 12th ACM workshop - Berlin, Germany (2013.11.04-2013.11.04)] Proceedings of the 12th ACM workshop on Workshop on privacy in the electronic society - WPES '13 - SideAuto

Huang, Xujing, Malacaria, Pasquale

Year:

2013

Language:

english

File:

PDF, 432 KB

english, 2013

14

SLX4 Prevents GEN1-Dependent DSBs During DNA Replication Arrest Under Pathological Conditions in Human Cells

Malacaria, Eva, Franchitto, Annapaola, Pichierri, Pietro

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 1.82 MB

english, 2017

15

Information Theory in Game Theory

Khouzani, MHR, Malacaria, Pasquale

Journal:

Year:

2018

Language:

english

File:

PDF, 129 KB

english, 2018

16

Evaluation of Automated Fermi GBM Localizations of Gamma-Ray Bursts

Goldstein, A., Fletcher, C., Veres, P., Briggs, M. S., Cleveland, W. H., Gibby, M. H., Hui, C. M., Bissaldi, E., Burns, E., Hamburg, R., Kienlin, A. von, Kocevski, D., Mailyan, B., Malacaria, C., Paci

Journal:

The Astrophysical Journal

Year:

2020

File:

PDF, 1.53 MB

2020

17

Faint high-redshift AGN in the Chandra deep field south: the evolution of the AGN luminosity function and black hole demography

Fiore, F., Puccetti, S., Grazian, A., Menci, N., Shankar, F., Santini, P., Piconcelli, E., Koekemoer, A. M., Fontana, A., Boutsia, K., Castellano, M., Lamastra, A., Malacaria, C., Feruglio, C., Mathur

Journal:

Astronomy and Astrophysics

Year:

2012

Language:

english

File:

PDF, 1.41 MB

english, 2012

18

[ACM Press the 1st International Workshop - Paris, France (2014.05.06-2014.05.06)] Proceedings of the 1st International Workshop on Agents and CyberSecurity - ACySE '14 - How to spend it

Smeraldi, Fabrizio, Malacaria, Pasquale

Year:

2014

Language:

english

File:

PDF, 210 KB

english, 2014

19

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Symbolic Side-Channel Analysis for Probabilistic Programs

Malacaria, Pasquale, Khouzani, MHR, Pasareanu, Corina S., Phan, Quoc-Sang, Luckow, Kasper

Year:

2018

Language:

english

File:

PDF, 308 KB

english, 2018

20

Relative definability of boolean functions via hypergraphs

Antonio Bucciarelli, Pasquale Malacaria

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 179 KB

english, 2002

21

[ACM Press the 2007 workshop - San Diego, California, USA (2007.06.14-2007.06.14)] Proceedings of the 2007 workshop on Programming languages and analysis for security - PLAS '07 - Quantitative analysis of leakage for multi-threaded programs

Chen, Han, Malacaria, Pasquale

Year:

2007

Language:

english

File:

PDF, 216 KB

english, 2007

22

A static analysis for quantifying information flow in a simple imperative language

Clark, David, Hunt, Sebastian, Malacaria, Pasquale

Journal:

Journal of Computer Security

Year:

2007

Language:

english

File:

PDF, 313 KB

english, 2007

23

NICER and Fermi GBM Observations of the First Galactic Ultraluminous X-Ray Pulsar Swift J0243.6+6124

Wilson-Hodge, Colleen A., Malacaria, Christian, Jenke, Peter A., Jaisawal, Gaurava K., Kerr, Matthew, Wolff, Michael T., Arzoumanian, Zaven, Chakrabarty, Deepto, Doty, John P., Gendreau, Keith C., Gui

Journal:

The Astrophysical Journal

Year:

2018

Language:

english

File:

PDF, 3.61 MB

english, 2018

24

Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints

Khouzani, MHR., Malacaria, Pasquale

Journal:

IEEE Transactions on Information Theory

Year:

2019

File:

PDF, 11 KB

2019

25

Quantitative Analysis of the Leakage of Confidential Data

David Clark, Sebastian Hunt, Pasquale Malacaria

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 311 KB

english, 2002

26

Studying equivalences of transition systems with algebraic tools

Pasquale Malacaria

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 801 KB

english, 1995

27

Optical spectroscopy of the Be/X-ray binary V850 Centauri/GX 304-1 during faint X-ray periodical activity

Malacaria, C., Kollatschny, W., Whelan, E., Santangelo, A., Klochkov, D., McBride, V., Ducci, L.

Journal:

Astronomy and Astrophysics

Year:

2017

Language:

english

File:

PDF, 837 KB

english, 2017

28

[ACM Press the third ACM SIGPLAN workshop - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08 - Lagrange multipliers and maximum information leakage in different observational models

Malacaria, Pasquale, Chen, Han

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

29

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT

Pasareanu, Corina S., Phan, Quoc-Sang, Malacaria, Pasquale

Year:

2016

Language:

english

File:

PDF, 319 KB

english, 2016

30

Neutron Star Interior Composition Explorer X-Ray Timing of the Radio and γ -Ray Quiet Pulsars PSR J1412+7922 and PSR J1849-0001

Bogdanov, Slavko, Ho, Wynn C. G., Enoto, Teruaki, Guillot, Sebastien, Harding, Alice K., Jaisawal, Gaurava K., Malacaria, Christian, Manthripragada, Sridhar S., Arzoumanian, Zaven, Gendreau, Keith C.

Journal:

The Astrophysical Journal

Year:

2019

Language:

english

File:

PDF, 618 KB

english, 2019

31

[IEEE 2015 ICC - 2015 IEEE International Conference on Communications Workshops (ICC) - London, United Kingdom (2015.6.8-2015.6.12)] 2015 IEEE International Conference on Communication Workshop (ICCW) - A game-theoretic approach for minimizing security risks in the Internet-of-Things

Rontidis, George, Panaousis, Emmanouil, Laszka, Aron, Dagiuklas, Tasos, Malacaria, Pasquale, Alpcan, Tansu

Year:

2015

Language:

english

File:

PDF, 1.93 MB

english, 2015

32

[IEEE 2015 10th International Conference on Availability, Reliability and Security (ARES) - Toulouse, France (2015.8.24-2015.8.27)] 2015 10th International Conference on Availability, Reliability and Security - All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks

Phan, Quoc-Sang, Malacaria, Pasquale

Year:

2015

Language:

english

File:

PDF, 247 KB

english, 2015

33

X-ray and optical monitoring of the December 2017 outburst of the Be/X-ray binary AXJ0049.4–7323

Ducci, L., Malacaria, C., Romano, P., Ji, L., Bozzo, E., Saathoff, I., Santangelo, A., Udalski, A.

Journal:

Astronomy and Astrophysics

Year:

2019

Language:

english

File:

PDF, 514 KB

english, 2019

34

Scalable min-max Multi-objective Cyber-Security optimisation Over Probabilistic Attack Graphs

Khouzani, MHR., Liu, Zhengliang, Malacaria, Pasquale

Journal:

European Journal of Operational Research

Year:

2019

Language:

english

File:

PDF, 919 KB

english, 2019

35

Fermi -GBM GRBs with Characteristics Similar to GRB 170817A

von Kienlin, A., Veres, P., Roberts, O. J., Hamburg, R., Bissaldi, E., Briggs, M. S., Burns, E., Goldstein, A., Kocevski, D., Preece, R. D., Wilson-Hodge, C. A., Hui, C. M., Mailyan, B., Malacaria, C.

Journal:

The Astrophysical Journal

Year:

2019

Language:

english

File:

PDF, 2.02 MB

english, 2019

36

DISCOVERY OF STRONG IRON KÎ± EMITTING COMPTON THICK QUASARS AT z = 2.5 AND 2.9

Feruglio, C., Daddi, E., Fiore, F., Alexander, D. M., Piconcelli, E., Malacaria, C.

Journal:

The Astrophysical Journal

Year:

2011

File:

PDF, 537 KB

2011

37

Survival of the Replication Checkpoint Deficient Cells Requires MUS81-RAD52 Function

Murfuni, Ivana, Basile, Giorgia, Subramanyam, Shyamal, Malacaria, Eva, Bignami, Margherita, Spies, Maria, Franchitto, Annapaola, Pichierri, Pietro, Maizels, Nancy

Journal:

Year:

2013

Language:

english

File:

PDF, 6.94 MB

english, 2013

38

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Symbolic Side-Channel Analysis for Probabilistic Programs

Malacaria, Pasquale, Khouzani, MHR, Pasareanu, Corina S., Phan, Quoc-Sang, Luckow, Kasper

Year:

2018

File:

PDF, 308 KB

2018

39

Rad52 prevents excessive replication fork reversal and protects from nascent strand degradation

Malacaria, Eva, Pugliese, Giusj Monia, Honda, Masayoshi, Marabitti, Veronica, Aiello, Francesca Antonella, Spies, Maria, Franchitto, Annapaola, Pichierri, Pietro

Journal:

Nature Communications

Year:

2019

Language:

english

File:

PDF, 6.34 MB

english, 2019

40

A Joint NICER and XMM-Newton View of the “Magnificent” Thermally Emitting X-Ray Isolated Neutron Star RX J1605.3+3249

Malacaria, Christian, Bogdanov, Slavko, Ho, Wynn C. G., Enoto, Teruaki, Ray, Paul S., Arzoumanian, Zaven, Cazeau, Thoniel, Gendreau, Keith C., Guillot, Sebastien, Güver, Tolga, Jaisawal, Gaurava K., W

Journal:

The Astrophysical Journal

Year:

2019

Language:

english

File:

PDF, 978 KB

english, 2019

41

Checkpoint Defects Elicit a WRNIP1-Mediated Response to Counteract R-Loop-Associated Genomic Instability

Marabitti,, Lillo,, Malacaria,, Palermo,, Pichierri,, Franchitto,

Journal:

Year:

2020

File:

PDF, 2.80 MB

2020

42

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design

Khouzani, M.H.R., Malacaria, Pasquale

Year:

2016

Language:

english

File:

PDF, 564 KB

english, 2016

43

A rapid method for the quantification of urinary phthalate monoesters: A new strategy for the assessment of the exposure to phthalate ester by solidâphase microextraction with gas chromatography and tandem mass spectrometry

Elliani, Rosangela, Naccarato, Attilio, Malacaria, Luana, Tagarelli, Antonio

Journal:

Journal of Separation Science

Year:

2020

File:

PDF, 2.32 MB

2020

44

Conditional Entropy and Data Processing: an Axiomatic Approach Based on Core-Concavity

Americo, Arthur, Khouzani, Mhr., Malacaria, Pasquale

Journal:

IEEE Transactions on Information Theory

Year:

2020

File:

PDF, 875 KB

2020

45

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Assessing security threats of looping constructs

Malacaria, Pasquale

Year:

2007

Language:

english

File:

PDF, 618 KB

english, 2007

46

Two giant outbursts of V0332+53 observed with INTEGRAL

Ferrigno, Carlo, Ducci, Lorenzo, Bozzo, Enrico, Kretschmar, Peter, Kühnel, Matthias, Malacaria, Christian, Pottschmidt, Katja, Santangelo, Andrea, Savchenko, Volodymyr, Wilms, Jörn

Journal:

Astronomy and Astrophysics

Year:

2016

Language:

english

File:

PDF, 432 KB

english, 2016

47

NICER Observations of the 2018 Outburst of XTE J1810−197

Güver, Tolga, Göğüş, Ersin, Vurgun, Eda, Enoto, Teruaki, Gendreau, Keith C., Sakamoto, Takanori, Gotthelf, Eric V., Arzoumanian, Zaven, Guillot, Sebastien, Jaisawal, Gaurava K., Malacaria, Christian,

Journal:

The Astrophysical Journal

Year:

2019

Language:

english

File:

PDF, 490 KB

english, 2019

48

Assessing security threats of looping constructs

Malacaria, Pasquale

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 618 KB

english, 2007

49

Program analysis games

Hankin, Chris, Malacaria, Pasquale

Journal:

ACM Computing Surveys

Year:

1999

Language:

english

File:

PDF, 100 KB

english, 1999

50

RAD51 and mitotic function of mus81 are essential for recovery from low-dose of camptothecin in the absence of the WRN exonuclease

Aiello, Francesca Antonella, Palma, Anita, Malacaria, Eva, Zheng, Li, Campbell, Judith L, Shen, Binghui, Franchitto, Annapaola, Pichierri, Pietro

Journal:

Nucleic Acids Research

Year:

2019

File:

PDF, 9.36 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски